Java and scala's type systems are unsound: the existential crisis of null pointers

We present short programs that demonstrate the unsoundness of Java and Scala's current type systems. In particular, these programs provide parametrically polymorphic functions that can turn any type into any type without (down) casting. Fortunately, parametric polymorphism was not integrated into the Java Virtual Machine (JVM), so these examples do not demonstrate any unsoundness of the JVM. Nonetheless, we discuss broader implications of these findings on the field of programming languages

Effect of remote ischaemic conditioning on clinical outcomes in patients with acute myocardial infarction (CONDI-2/ERIC-PPCI): a single-blind randomised controlled trial.

BACKGROUND: Remote ischaemic conditioning with transient ischaemia and reperfusion applied to the arm has been shown to reduce myocardial infarct size in patients with ST-elevation myocardial infarction (STEMI) undergoing primary percutaneous coronary intervention (PPCI). We investigated whether remote ischaemic conditioning could reduce the incidence of cardiac death and hospitalisation for heart failure at 12 months. METHODS: We did an international investigator-initiated, prospective, single-blind, randomised controlled trial (CONDI-2/ERIC-PPCI) at 33 centres across the UK, Denmark, Spain, and Serbia. Patients (age >18 years) with suspected STEMI and who were eligible for PPCI were randomly allocated (1:1, stratified by centre with a permuted block method) to receive standard treatment (including a sham simulated remote ischaemic conditioning intervention at UK sites only) or remote ischaemic conditioning treatment (intermittent ischaemia and reperfusion applied to the arm through four cycles of 5-min inflation and 5-min deflation of an automated cuff device) before PPCI. Investigators responsible for data collection and outcome assessment were masked to treatment allocation. The primary combined endpoint was cardiac death or hospitalisation for heart failure at 12 months in the intention-to-treat population. This trial is registered with ClinicalTrials.gov (NCT02342522) and is completed. FINDINGS: Between Nov 6, 2013, and March 31, 2018, 5401 patients were randomly allocated to either the control group (n=2701) or the remote ischaemic conditioning group (n=2700). After exclusion of patients upon hospital arrival or loss to follow-up, 2569 patients in the control group and 2546 in the intervention group were included in the intention-to-treat analysis. At 12 months post-PPCI, the Kaplan-Meier-estimated frequencies of cardiac death or hospitalisation for heart failure (the primary endpoint) were 220 (8·6%) patients in the control group and 239 (9·4%) in the remote ischaemic conditioning group (hazard ratio 1·10 [95% CI 0·91-1·32], p=0·32 for intervention versus control). No important unexpected adverse events or side effects of remote ischaemic conditioning were observed. INTERPRETATION: Remote ischaemic conditioning does not improve clinical outcomes (cardiac death or hospitalisation for heart failure) at 12 months in patients with STEMI undergoing PPCI. FUNDING: British Heart Foundation, University College London Hospitals/University College London Biomedical Research Centre, Danish Innovation Foundation, Novo Nordisk Foundation, TrygFonden

Zing: Exploiting program structure for model checking concurrent software

Abstract. Model checking is a technique for finding bugs in systems by systematically exploring their state spaces. We wish to extract sound models from concurrent programs automatically and check the behaviors of these models systematically. The zing project is an effort to build a flexible infrastructure to represent and model check abstractions of large concurrent software. To support automatic extraction of models from programs written in common programming languages, zing’s modeling language supports three facilities present in modern programming languages: (1) procedure calls with a call-stack, (2) objects with dynamic allocation, and (3) processes with dynamic creation, using both shared memory and message passing for communication. We believe that these three facilities capture the essence of model checking modern concurrent software. Building a scalable model-checker for such an expressive modeling language is a huge challenge. zing’s modular architecture provides a clear separation between the expressive semantics of the modeling language, and a simple view of zing programs as labeled transition systems. This separation has allowed us to decouple the design of efficient model checking algorithms from the complexity of supporting rich constructs in the modeling language. zing’s model checking algorithms have been designed to exploit existing structural abstractions in concurrent programs such as processes and procedure calls. We present two such novel techniques in the paper: (1) compositional checking of zing models for message-passing programs using a conformance theory inspired by work in the process algebra community, and (2) a new summarization algorithm, which enables zing to reuse work at procedure boundaries by extending interprocedural dataflow analysis algorithms from the compiler community to analyze concurrent programs.

Developmental neuropsychiatry: A new model of psychiatry for young people with and without intellectual disability

Deinstitutionalization of young people with intellectual disability means that they are now cared for by families and served by community-based professionals. Normalization, which has been the guiding philosophy for this re-integration, has challenged child psychiatry to accept its responsibility for the mental health of this special needs group. It is argued that this group, with its special mental health needs, has had an influence on the conceptual framework of child psychiatry, particularly our understanding of development. This article examines the influence of the psychiatry of intellectual disability on child psychiatry and the influence of child psychiatry on the understanding of the mental health needs of those with intellectual disability. In particular, the management of young people with intellectual disability has required child psychiatry to expand its understanding of a biopsychosocial approach. Some of the resulting changes and challenges are presented to illustrate the benefits for both child psychiatry and the psychiatry of intellectual disability. The interaction of different conceptual biases has led to a new and broader conceptual spectrum of developmental neuropsychiatry. Developmental neuropsychiatry recognizes the need to integrate social science and preventative strategies at one end of the spectrum, with the genetics, molecular biology of human behaviour and targeted pharmacology at the other, and consider the developmental and interactive nature of such models. This article argues that this emerging, dynamic and broader conceptual framework of developmental neuropsychiatry enhances our understanding of the child mental health of all children. The article looks at some of the implications for assessment, diagnosis and treatment. As mental health needs become a greater public health priority, the advances in basic sciences will reinvigorate this medical specialty and training programmes will need to reflect these. Copyrigh

Injectable biocompatible and biodegradable pH-responsive hollow particle gels containing poly(acrylic acid): The effect of copolymer composition on gel properties

The potential of various pH-responsive alkyl (meth)­acrylate ester- and (meth)­acrylic acid-based copolymers, including poly­(methyl methacrylate-<i>co</i>-acrylic acid) (PMMA-AA) and poly­(<i>n</i>-butyl acrylate-<i>co</i>-methacrylic acid) (PBA-MAA), to form pH-sensitive biocompatible and biodegradable hollow particle gel scaffolds for use in non-load-bearing soft tissue regeneration have been explored. The optimal copolymer design criteria for preparation of these materials have been established. Physical gels which are both pH- and redox-sensitive were formed only from PMMA-AA copolymers. MMA is the optimal hydrophobic monomer, whereas the use of various COOH-containing monomers, e.g., MAA and AA, will always induce a pH-triggered physical gelation. The PMMA-AA gels were prepared at physiological pH range from concentrated dispersions of swollen, hollow, polymer-based particles cross-linked with either cystamine (CYS) or 3,3′-dithiodipropionic acid dihydrazide (DTP). A linear relationship between particle swelling ratios, gel elasticity, and ductility was observed. The PMMA-AA gels with lower AA contents feature lower swelling ratios, mechanical strengths, and ductilities. Increasing the swelling ratio (e.g., through increasing AA content) decreased the intraparticle elasticity; however, intershell contact and gel elasticity were found to increase. The mechanical properties and performance of the gels were tuneable upon varying the copolymers’ compositions and the structure of the cross-linker. Compared to PMMA-AA/CYS, the PMMA-AA/DTP gels were more elastic and ductile. The biodegradability and cytotoxicity of the new hollow particle gels were tested for the first time and related to their composition, mechanical properties, and morphology. The new PMMA-AA/CYS and PMMA-AA/DTP gels have shown good biocompatibility, biodegradability, strength, and interconnected porosity and therefore have good potential as a tissue repair agent